منابع مشابه
Classes of Representable Algebras with the Amalgamation Property
We introduce an abstract class of algebras that is a proper reduct of both Pinter’s substitution algebras and cylindric algebras. We show that the class of representable algebras have the amalgamation property. Pinter’s substitution algebras were introduced by Pinter [13], [14]. Such algebras are obtained from cylindric algebras by dropping the diagonal elements and adding unary operations of s...
متن کاملReducts of Polyadic Equality Algebras without the Amalgamation Property
Let G ⊆ ω be a monoid such that {[i|j ] : i, j ∈ ω} ⊆ G. Let RPEAG be the reduct of representable polyadic equality algebras obtained by restricting the similarity type of RPEAω to substitutions in G and PEAG be the class of abstract polyadic algebras obtained from PEAω by restricting the similarity type and axiomatization of PEAω to substitutions in G and to finite quantifiers. Assume that G c...
متن کاملThe Amalgamation Property for G-metric Spaces
Let G be a (totally) ordered (abelian) group. A Gmetric space (X, p) consists of a nonempty set A"and a G-metric />: XxX->-G (satisfying the usual axioms of a metric, with G replacing the ordered group of real numbers). That the amalgamation property holds for the class of all metric spaces is attributed, by Morley and Vaught, to Sierpiñski. The following theorem is proved. Theorem. The class o...
متن کاملSymmetry in abstract elementary classes with amalgamation
This paper is part of a program initiated by Saharon Shelah to extend the model theory of first order logic to the nonelementary setting of abstract elementary classes (AECs). An abstract elementary class is a semantic generalization of the class of models of a complete first order theory with the elementary substructure relation. We examine the symmetry property of splitting (previously isolat...
متن کاملCategoricity for Abstract Classes with Amalgamation Sh394
Let K be an abstract elementary class with amalgamation, and Lowenheim Skolem number LS(K). We prove that for a suitable Hanf number χ0 if χ0 < λ0 ≤ λ1, and K is categorical in λ + 1 then it is categorical in λ0. 2000 Mathematics Subject Classification. 03C45, 03C75.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1969
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1969.28.309